321. Formal concept analysis
المؤلف: Petko Valtchev, Robert Jeaschke (eds.)
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
322. Formal concept analysis :
المؤلف: Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses -- Mathematics.,Data mining -- Congresses.,Mathematical analysis -- Congresses.
رده :
QA76
.
9
.
M35
F567
2012
323. Formal methods :
المؤلف: Tiago Massoni, Mohammad Reza Mousavi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
324. Formal methods and software engineering :
المؤلف: Jing Sun, Meng Sun (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
325. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
المؤلف: Alan J. Hu, Andrew K. Martin )eds.(
المکتبة: (طهران)
موضوع: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
3312
326. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
المؤلف: Mark D. Aagaard, John W. O'Leary )eds.(
المکتبة: (طهران)
موضوع: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
2517
327. Formal modeling and analysis of timed systems :
المؤلف: David N. Jansen, Pavithra Prabhakar (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
328. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
المؤلف: Internatinal FCT-confernce, Borgholm, Sweden, 3891
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
329. Foundations of computational mathematics : selected papers of a...
المؤلف: / Felipe Cucker, Michael Shub (eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Numerical analysis - Congresses,Computer science - Congresses
رده :
QA297
.
F635
330. Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997
المؤلف: Felipe Cucker, Michael Shub )editors(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Numerical analysis - Congresses,Computer science - Congresses
رده :
QA
.
F635
297
1997
331. Foundations of computational mathematics: selected papers of a conference held at Rio de Janeiro, January 1997
المؤلف: Felipe Cucker, Michael Shub ]editors[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Numerical analysis,Congresses ، Computer science
رده :
QA
297
.
F635
1997
332. Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997
المؤلف: Felipe Cucker, Michael Shub )editors(
المکتبة: (طهران)
موضوع: Numerical analysis - Congresses , Computer science - Congresses
رده :
QA
297
.
F635
1997
333. Foundations of information and knowledge systems :
المؤلف: Flavio Ferrarotti, Stefan Woltran (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems, Congresses.,Artificial intelligence.,Computer systems.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.
رده :
QA75
.
5
334. Foundations of information and knowledge systems
المؤلف: Jürgen Dix, Stephen J. Hegner (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems, Congresses.,Databases, Congresses.,Information technology, Congresses.,Knowledge representation (Information theory), Congresses.
335. Foundations of information and knowledge systems : Second International Symposium, FoLKS 2002, Castle, Germany, February 20-23, 2000 : proceedings
المؤلف: Thomas Eiter, Klaus-Dieter Schewe )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Knowledge representation )Information theory(,Congresses ، Computer science -- Mathematics,Congresses ، Databases
رده :
QA
76
.
L28
Vol
.
2284
336. Foundations of software science and computation structures :
المؤلف: Christel Baier, Ugo Dal Lago (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
337. Fourth Czechoslovakian Symposium on Combinatorics, Graphs, and Complexity /
المؤلف: edited by Jaroslav Nešetřil, Miroslav Fiedler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis, Congresses.,Computational complexity, Congresses.,Graph theory, Congresses.,Analyse combinatoire, Congrès.,Complexité de calcul (Informatique), Congrès.,Graphes, Théorie des, Congrès.,Analyse combinatoire-- Congrès.,Combinatorial analysis.,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Graph theory.,Graphes, théorie des-- Congrès.,MATHEMATICS-- Combinatorics.
رده :
QA164
.
C94
1990eb
338. Frontiers in Algorithmics
المؤلف: \ Jianxin Wang, Chee Yap (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer algorithms -- Congresses.,Discrete Mathematics in Computer Science.,Algorithm Analysis and Problem Complexity.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
F76
2015
E-Book
,
339. Fundamentals of artificial intelligence research :
المؤلف: Ph. Jorrand, J. Kelemen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
340. Fundamentals of computation theory
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
